flask/policy: device model stubdom fixes
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 30 May 2013 12:57:22 +0000 (08:57 -0400)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 12 Jun 2013 09:09:15 +0000 (10:09 +0100)
commitb61b893d204423aa98f48ceb49e9855ae2ba1aa5
tree0e4559aeef3c948bd8203f0dd6ad477179349525
parent613659da9b1755ddf0a291071f6551a0ad25419b
flask/policy: device model stubdom fixes

This fixes framebuffer support for device model stubdoms after 3f28d007
which added the target_hack permission but did not allow the permission
to the stubdom it was created for.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/flask/policy/policy/modules/xen/xen.if